package com.panorama.visitor;

import com.panorama.visitor.AbstractReflectionVisitor;
import com.panorama.visitor.VisitableNode;
import com.panorama.visitor.test_nodes.TypeChecked;

public class TypeCheckVisitor extends AbstractReflectionVisitor<Void> {
	
	@Override
	public Void leave(VisitableNode node) {
		if(node instanceof TypeChecked) {
			TypeChecked t = (TypeChecked) node;
			t.typeCheck();
		}
		
		return null;
	}

}
